A DFSM-Based Protocol Conformance Testing and Diagnosing Method
نویسندگان
چکیده
منابع مشابه
A DFSM-Based Protocol Conformance Testing and Diagnosing Method
In the protocol conformance testing, many existing test methods can effectively detect the possible faults of the implementation under test. However, it is difficult to diagnose the found faults in terms of the test results. This paper presents a diagnosable input/output (DIO) sequence, to differentiate a state from other states under a given condition. We further propose a two-tier protocol co...
متن کاملA Java−Based Tool for Testing Interoperable MPI Protocol Conformance
Java and the World Wide Web are used as the basis of a tool that tests conformance with the Interoperable Message Passing Interface communication protocol. The user accesses the system through a Java applet that acts as the interface to a test server that is also written in Java. Test scenarios are expressed in scripts that are interpreted by a C−based interpreter. This interpreter is integrate...
متن کاملArchitecture-Based Conformance Testing
In the last two decades, software architecture has played a central role in the development of software systems. It provides a high-level description for large-size and complex systems using suitable abstractions of the system’s components and their interactions. In our work, the software architecture is described using a formal Architecture Description Language (ADL) designed in the ArchWare E...
متن کاملFinding Executable Paths In Protocol Conformance Testing
Communication protocol conformance testing aims at demonstrating the adherence of a protocol implementation to the protocol specification which is assumed to be correct. One of the most important issues in protocol testing is the generation of a small set of test sequences with large fault coverage. Since even the simplest protocol may require a very large number of test sequences to assure alm...
متن کاملImproving Fault-based Conformance Testing
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol specifications. Although a practical case study of web-server testing has been conducted, we observed several issues when applying this method in a large industrial project. In this paper, we discuss the foundations, tec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informatica
سال: 2011
ISSN: 0868-4952,1822-8844
DOI: 10.15388/informatica.2011.336